Storm-dft 1.5.1
Date: Thu Mar 19 02:25:11 2020
Command line arguments: --dftfile vgs.5.dft --expectedtime --min --exact
Current working directory: /
WARN (storm-dft.cpp:274): Exact solving over rational numbers is not implemented. Performing exact solving using rational functions instead.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 193
Transitions: 897
Reward Models: none
State Labels: 4 labels
* A0_0_dc -> 0 item(s)
* A0_0_failed -> 0 item(s)
* init -> 1 item(s)
* failed -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Times:
Exploration: 0.030s
Building: 0.000s
Bisimulation: 0.000s
Modelchecking: 0.013s
Total: 0.045s
Result: [2590209137680144532356750339319499526273242437703051718415049728380372734204861883045891604356787427655327804814200547069092722835127806514642121293418196555739925830183583672362724111768979021933772169033849954184299328741801422556667149621818133650541854753228056720683834168004835441372739361164290824194684035429909886374569867472846105199592744332782295552642664247054524035157126728412683160002277769597253071364337763329932000881171586294691956875552179076284900391512398998971336639204997944032998677582755570894426464829656262578012066473686272590433548109064613718772637533831187048293832036389439547909022735246556633243513786343917041621518677649653325452014678754201472124108264597437927426722108412574975766956667044095836664364029431915004607602357208611392946331496017178580874994754251009275441736899745257716345989470257453107902574597344647420365482278623294889262224277698837605794004960957779086408449999406678510774108237043865818481910156759980249849136505660161778663234943543226001290126228405583563862271461630563401068920356830852980336781771373890749287684848630972329922713994123526133371796527563561017895393249950899595510312154707461608195093210867069100588853255033739015177971803788649086550553083458760510426178105941296328110516160538568985380240440803271126579011231367421500000000000000000000000/37443270974181666361497349204116820061629162996619796651751631957085715520383539051762843220976987372914033238084004125771674480283196674141959503046691282932253575386433615574568637682606970822512733932233208227660942147160863152805550434702747437788545848114548756118018303942837378673618560088887797403771177051361478017408227798006642604563671954561850818182064068996596862518779495473896823142906368074885697315258595277702827751703597746856379513564460410125116393740200407092585863056090153594750984003346262604794866614067179702752465583924956353449926728974939161476599645032491415794776551102036963667635269007331664504560226275736872859815523238489184636714793210398123848245776631785767681918809257252248023766752155130986480914365693024791418585633266435218185612981982874544428090290715302952477590484469488067558830306420231913278853356966202126377946099098077868910670571143948662711586402985036190314778931976503519842599239435296596008818500378043972254284995426903252964782576555406156362565783026112703450584262411683828435031895314416738899512137866770608001217500817312001592533576411735125640727630764201580289972448408359317591420585513826291977250182811712144048596636878847167624345578404141024570795440444799221002563353687143079099846932537816110337589450119634772993630721399714634894806197265019749]